HVCAgenda November 6 – Day 1 09:00 Registration 09:30 Opening Remarks Oded Cohn, Director, IBM

Source URL: www.research.ibm.com

• Technology
• Business
• Computing
• Formal methods
• IBM Research
• OWASP
• Software verification
• Model checking
• Verification and validation
• Software testing
• Pharmaceutical industry
• Validity

Chisel 2.2 Tutorial Jonathan Bachrach, Krste Asanovi´c, John Wawrzynek EECS Department, UC Berkeley {jrb|krste|johnw}@eecs.berkeley.edu July 10, 2015

Source URL: chisel.eecs.berkeley.edu

• Logic in computer science
• Digital electronics
• Hardware verification languages
• E
• Binary arithmetic
• 3D computer graphics
• Bitwise operation
• Integer
• ALGOL 68
• Computing
• Theoretical computer science
• Software engineering

Foundations of Boolean Stream Runtime Verification? (Extended Version) Laura Bozzelli1 and C´esar S´anchez2,3 1

Source URL: software.imdea.org

Poster: Contract Verification for Mobile Security Hannah Gommerstadt Frank Pfenning Limin Jia

Source URL: www.ieee-security.org

• Application programming interfaces
• Communications protocol
• Data transmission
• Protocols
• Monad
• Distributed computing
• Operating system
• X Window System
• Transmission Control Protocol
• Computing
• Software
• Data

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes? Alejandro S´anchez1 and C´esar S´anchez1,2 1 2

Source URL: software.imdea.org

• Binary tree
• Parity of a permutation
• Combinatorial species
• Skip list
• Model theory
• Mathematics
• Combinatorics
• Group theory

Microsoft Word - simTD@RE2011_final

Source URL: www.simtd.de.

• Validity
• Science
• Software engineering
• Systems science
• Formal methods
• Verification and validation
• Systems engineering process
• Validation
• Software development process
• Systems engineering
• Software development
• Pharmaceutical industry

Narrative on CHS Verification (2 pager

Source URL: www.peopleinaid.org

• Methodology
• Food safety
• Systems engineering
• Verification and validation
• Validation
• Evaluation
• Software development process
• Audit
• Knowledge
• Pharmaceutical industry
• Validity
• Science

SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2015; 00:1–30 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: stvr Cause reduction: delta debugging, even wit

Source URL: www.cs.utah.edu

• Evaluation
• Fuzz testing
• Unit testing
• Code coverage
• Debugging
• Test suite
• Statistical hypothesis testing
• Reliability engineering
• Stress testing
• Software testing
• Software development
• Statistics

LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and

Source URL: langsec.org

• Applied mathematics
• Formal verification
• Specification
• Theoretical computer science
• Evaluation
• Formal methods
• Software bug
• Parsing